Filename,Num_Variables,Num_Clauses,Total_Weight,Best_Satisfied_Weight,Best_Violated_Weight,Iterations,Elapsed_Time
max_cut.wcnf,4966,88425,654237,443436,210801,362,60.0439
